Danko Ilik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Kripke models for classical logic

Danko Ilik, Gyesik Lee, Hugo Herbelin

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 382 KB

english, 2010

2

Delimited control operators prove Double-negation Shift

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 256 KB

english, 2012

3

Continuation-passing style models complete for intuitionistic logic

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 220 KB

english, 2013

4

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Axioms and decidability for type isomorphism in the presence of sums

Year:

2014

Language:

english

File:

PDF, 295 KB

english, 2014

5

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Proofs in continuation-passing style

Year:

2014

Language:

english

File:

PDF, 133 KB

english, 2014

6

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - The exp-log normal form of types: decomposing extensional equality and representing terms compactly

Year:

2017

Language:

english

File:

PDF, 435 KB

english, 2017